#include<stdio.h>
int main()
{
	int H;
	double t;
	scanf("%d",&H);
	t=(H-100)*0.9*2;
	printf("%.1f",t);
	return 0;
}
